A Top-down Hardware/Software Co-Simulation Method for Embedded Systems Based Upon a Component Logical Bus Architecture
نویسندگان
چکیده
We propose a top-down hardware/software co-simulation method for embedded systems and introduce a component logical bus architecture as an interface between software components and hardware components. Co-simulation using a component logical bus architecture is possible in the same environment from the stage at which the processor is not yet determined to the stage at which the processor is modeled in register transfer language. A model whose design is based on a component logical bus architecture is replaceable and reusable. By combining such replaceable models, it is possible to quickly realize seamless co-simulation. We further describe experimental results of our approach.
منابع مشابه
Component-based hardware/software co-verification for building trustworthy embedded systems
We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their ...
متن کاملComponent - Based Hardware / Software Co - Verification for Building Trustworthy
We present a novel component-based approach to hardware/software co-verification of embedded systems using model checking. Embedded systems are pervasive and often mission-critical, therefore, they must be highly trustworthy. Trustworthy embedded systems require extensive verification. The close interactions between hardware and software of embedded systems demand co-verification. Due to their ...
متن کاملEmbedded Architecture Description Language
In the state-of-the-art hardware/software (HW/SW) codesign of embedded systems, there lacks of sufficient support for architectural specifications across HW/SW boundaries. Such an architectural specification ought to capture both hardware and software components and their interactions, and facilitate effective design exploitation of HW/SW trade-offs and scalable HW/SW co-verification. In this p...
متن کاملSyddansk Universitet Hardware-in-the-Loop Simulation of Component-Based Embedded Systems
The paper presents COMDES-II a software framework for distributed control systems. The framework provides for systematic top-down specification of distributed applications: a system is conceived as a composition of embedded actors that communicate transparently by exchanging labeled messages (signals), and actors are composed from reusable executable components (function blocks). The framework ...
متن کاملSimulation-Based Design-Space Exploration for the Deployment of Embedded Software on Multiprocessor Platforms
This document is intended to be a guide through the design of embedded systems implemented on multiprocessor platforms. You will learn how to customize the hardware platform such that the resulting system is optimized for a given functionality. Most of the assignments will use as an example software application the GSM codec. You will work on a realistic multiprocessor system, composed of sever...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998